and Logic

Results: 11835



#Item
291

Verification of Imperative Programs through Transformation of Constraint Logic Programs Emanuele De Angelis1 , Fabio Fioravanti1 , Alberto Pettorossi2 and Maurizio Proietti3 1

Add to Reading List

Source URL: www.iasi.cnr.it

- Date: 2013-07-17 08:16:13
    292

    A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e

    Add to Reading List

    Source URL: staff.um.edu.mt

    - Date: 2016-08-21 10:35:34
      293

      Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

      Add to Reading List

      Source URL: www.lix.polytechnique.fr

      - Date: 2013-05-22 10:58:51
        294

        The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

        Add to Reading List

        Source URL: rbsla.ruleml.org

        - Date: 2013-12-20 11:58:09
          295

          Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2012-04-24 14:51:31
            296

            Description of the project Feasibility, Logic and Randomness  (FEALORA) This   project   was   proposed   as   an   Advanced   Grant   of   the   European   Research   Council.   The   panel  recom

            Add to Reading List

            Source URL: users.math.cas.cz

            - Date: 2013-09-04 06:06:20
              297

              Reasoning on Data-Aware Business Processes with Constraint Logic Maurizio Proietti and Fabrizio Smith National Research Council, IASI ”Antonio Ruberti” - Via dei Taurini 19, 00185 Roma, Italy {maurizio.proietti, fabr

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2014-11-12 06:08:42
                298

                Under consideration for publication in Theory and Practice of Logic Programming 1 Multi-threaded ASP Solving with clasp Martin Gebser and Benjamin Kaufmann and Torsten Schaub∗

                Add to Reading List

                Source URL: www.cs.uni-potsdam.de

                - Date: 2012-06-27 10:05:03
                  299

                  Concurrent Programming Constructs in Multi-Engine Prolog Parallelism just for the cores (and not more!) Paul Tarau Department of Computer Science and Engineering, Univ of North Texas

                  Add to Reading List

                  Source URL: logic.cse.unt.edu

                  - Date: 2011-01-23 15:58:50
                    300

                    Journal of Logic, Language and Information A Principled Approach to Grammars for Controlled Natural Languages and Predictive Editors Tobias Kuhn

                    Add to Reading List

                    Source URL: attempto.ifi.uzh.ch

                    - Date: 2013-09-23 06:46:50
                      UPDATE